Indécidabilité de la Condition IRS

نویسندگان

  • Jean-Michel Autebert
  • Joffroy Beauquier
  • Luc Boasson
  • Michel Latteux
چکیده

— We prove: 1) for any linear language L, it is recursively unsolvable to détermine whether L is an 1RS language; 2) for any deterministic context-free language L, it is recursively solvable to détermine whether L is an 1RS language; 3) there exists an 1RS linear language containing the concaténation product oftwo infinité contextfree languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagnostic et contrôle de la dégradation des systèmes probabilistes

Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosticable. Afin d’éviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consiste à assurer une probabilité positive qu’une exécution infinie soit correcte, ce...

متن کامل

Causes of Increased Intracranial Blood Flow Rate (Angiographic Study)

"Etude etiologique de la circulation ra.pide iutra-rena-le"  Le but de l'angiographle renale n'est pas '.seu­lement le controle anatomique de l'organe, une etude physiologique (Hemodynamique) doit toujours etre prise en consideration.  Le temps normal de la circulation intra-renale selon les differents auteurs varie entre 6 a 8, 8 a 10 et 10 a 12 secondes, mais le temps moyen est de 6 a 8 seco...

متن کامل

An algebraic design for the simultaneous stabilization of two systems

In this report we present a uniied description for studying the problem of the simultaneous stabilization of two plants. Three approaches for the simultaneous sta-bilizability are deened. The rst one corresponds to the deenition commonly used in the literature. For the third one, we show that, like for the rst one, the design of a simultaneous compensator leads to a divisibility condition in th...

متن کامل

مسؤولیت کیفری متصدیان امور پزشکی

La définition de la responsabilité pénale pour des responsables des affaires médicales est secondaire par rapport a la distinction des exemplaires des gens occupant dans la profession médicale et d’autres Professions dépendants. En plus, il faut le considérer dans le cadre des règles pénales. C’est évident que ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • ITA

دوره 16  شماره 

صفحات  -

تاریخ انتشار 1982